Branching cells for asymmetric event structures
نویسنده
چکیده
We introduce branching cells for Asymmetric Event Structures. They provide a way to decompose maximal configuration in a dynamic way through elementary steps representing elementary choices made during a computation run.
منابع مشابه
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite, that extend confusion-free event structure. In locally finite event structures, maximal configurations can be tiled with branching cells: branching cells are minimal and fi...
متن کاملProbabilistic True-Concurrency Models Branching Cells and Distributed Probabilities for Event Structures
This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...
متن کاملProbabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...
متن کاملBranching Cells as Local States for Event Structures and Nets: Probabilistic Applications
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. W...
متن کاملAn Axiomatization of Well Branching Prime Event Structures an Axiomatization of Well Branching Prime Event Structures
We develop a tense logic for reasoning about the occurrences of events in a sub-class of prime event structures called well branching event structures. The well branching property ensures that two events being in connict can always be traced back | via the causality relation | to two events being in minimal connict. Two events are in minimal connict if they are in connict and their \uniied" pas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 546 شماره
صفحات -
تاریخ انتشار 2014